sqrt(x^2-3)+|x-1|=x